Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
21	Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:44 Mathematics Subtype polymorphism Type system Lambda calculus Typed lambda calculus Type safety Valuation Entailment Holomorphic functional calculus Type theory Theoretical computer science Logic
22	c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-02-03 06:51:06 Data types Computing Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Inheritance System F Type theory Software engineering Programming language theory
23	Encodings of Extensible Objects and Types Viviana Bono Dipartimento di Informatica Universit`a di Torino http://www.di.unito.it/∼bono Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:29:01 Mathematics Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system System F Calculus Type theory Software engineering Theoretical computer science
24	Proceedings Template - WORD Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Constraint programming Programming paradigms Type theory Data modeling Relational model Constraint satisfaction problem Subtype polymorphism Structure Logic Software engineering Mathematical logic
25	A generalization of F with abstraction Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:30:08 Object-oriented programming Polymorphism Subtype polymorphism Type theory Functions and mappings Function Mathematics Data types Software engineering
26	Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 09:34:19 Functional languages OCaml National Institute for Research in Computer Science and Control Caml Principles of Programming Languages Coq Scherer Rocquencourt Subtype polymorphism Software engineering Computing Computer programming
27	F ickle : Dynamic Object Re-classication (Extended Abstract) ? Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2000-12-13 14:57:51 Object-oriented programming Subtype polymorphism Objective-C Method overriding Constructor Object Inheritance Java C Sharp Software engineering Computing Computer programming
28	Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-12-29 11:26:37 Computing Data types Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Entailment System F Type theory Software engineering Programming language theory
29	The MVZ Collections Information Model Introduction The collections information model represents the third element in the analysis and design phase of the MVZ’s Collections Information System Re-Engineering Project. It Add to Reading List Source URL: mvz.berkeley.edu Language: English - Date: 2013-06-14 16:35:43 Computing EXPRESS Subtype polymorphism Object-Role Modeling Hierarchy Information model Conceptual model Object-oriented design Class Software engineering Data modeling Object-oriented programming
30	Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:54:08 Software engineering Theoretical computer science Object-oriented programming Polymorphism Subtype polymorphism Type system Type theory Data types Programming language theory

UPDATE